Modélisation rigoureuse en SPEM de procédé de développement
نویسندگان
چکیده
Mastering software process is a keypoint in the improvement of application quality. OMG proposes the SPEM metamodel to model software processes. Unfortunately, it is a high level specification which lacks a formal description of its semantics. It is thus difficult to use SPEM. So, we propose a restriction of SPEM that clarifies its concepts and which is completed with a formalization of its semantics using OCL. This metamodel has been used to model the MACAO object-oriented analysis and design method. We thus show how to use SPEM and OCL and their limits. MOTS-CLÉS : Ingénierie des procédés, Ingénierie des modèles, SPEM, OCL.
منابع مشابه
Proposition d'un Processus de Développement pour la Modélisation Sécurisée des Systèmes d'Information
Les systèmes d’information présentent des besoins plus en plus croissants en termes d’ouverture à l’extérieur (clients, partenaires, fournisseurs) et d’évolutivité (technique et organisation).Ouverture et évolutivité engendrent des gains de productivité et de compétitivité mais elles exposent aussi de plus en plus les systèmes aux actes de malveillance. La prise en compte des contraintes de séc...
متن کاملModélisation adaptée aux besoins utilisateurs dans le développement des systèmes d'information décisionnels
Résumé. La démocratisation des systèmes d’information décisionnels (SID) nécessite le développement de méthodes de conception. Contrairement aux modèles de systèmes d’information (SI) qui n’ont pas pour objet d’être compris par les utilisateurs, les modèles des SID doivent être exploitables par les analystes et les décideurs. Parmi les méthodes d’ingénierie des SID qui ont été proposées, rares ...
متن کاملTowards new methods for process adjustments based on parts quality measurements
Résumé— Le procédé d’injection des thermoplastiques permet la production de pièces complexes en grandes séries. Les exigences qualités sont croissantes. Il est nécessaire de réguler le procédé d’injection afin de conserver un point de fonctionnement. Le pilotage du procédé ne permet pas, aujourd’hui, de proposer d’ajuster l’ensemble des paramètres du procédé pour optimiser la qualité du produit...
متن کاملÉtude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué
RÉSUMÉ. L'ingénierie des modèles promet une amélioration de la productivité du développement de logiciels, notamment une réduction des temps de développement consacrés à l'adaptation des applicatifs aux technologies permettant leur exécution. Pour atteindre ce but, une modélisation des technologies d'exécution (identifiées sous le terme de plate-forme), ainsi que la définition de transformation...
متن کاملSupporting Effective Software Modeling
RÉSUMÉ. Dans cet article nous identifions les raisons de la faible utilisation des techniques de modélisations dans l’industrie et nous donnons un aperçu d’une approche basée modèle qui peut améliorer l’utilisation des modèles pour le développement des systèmes complexes. Les mécanismes présentés ici reposent sur une approche du développement guidé par les modèles et qui met en avant (1) la réu...
متن کامل